Nuprl Definition : pred 0,22
pred(e) == outl(pred?(e)) 
latex

clarification:

pred(pred?;e) == outl(pred?(e)) 
latex

Definitionsoutl(x)
FDL editor aliasespred

origin